Lightweight Behavior-Based Language for Requirements Modeling
نویسندگان
چکیده
منابع مشابه
Lightweight Behavior-Based Language for Requirements Modeling
Whether or not a software system satisfies the anticipated user requirements is ultimately determined by the behaviors of the software. So it is necessary and valuable to research requirements modeling language and technique from the perspective of behavior. This paper presents a lightweight behavior based requirements modeling language BDL with formal syntax and semantics, and a general-purpos...
متن کاملLightweight validation of natural language requirements
In this paper, we report on our experiences of using lightweight formal methods for the partial validation of natural language requirements documents. We describe our approach to checking properties of models obtained by shallow parsing of natural language requirements, and apply it to a case study based on part of a NASA specification of the Node Control Software on the International Space Sta...
متن کاملExperiences Using Lightweight Formal Methods for Requirements Modeling
This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies differ from previously reported applications of formal methods in that formal methods were applied very early in the requirements engineering process, to validate the evolving requirements. The results were fed back into the ...
متن کاملLightweight Validation of Natural Language Requirements: A Case Study
In this paper, we report on our experiences of using lightweight formal methods for the partial validation of natural language (NL) requirements documents. We describe a case study based on part of NASA’s specification of the Node Control Software of the International Space Station, and apply to it our method of checking properties on models obtained by shallow parsing of natural language requi...
متن کاملA Requirements Modeling Language for the Component Behavior of Cyber Physical Robotics Systems
Software development for robotics applications is a sophisticated endeavor as robots are inherently complex. Explicit modeling of the architecture and behavior of robotics application yields many advantages to cope with this complexity by identifying and separating logically and physically independent components and by hierarchically structuring the system under development. On top of component...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Software Engineering and Applications
سال: 2010
ISSN: 1945-3116,1945-3124
DOI: 10.4236/jsea.2010.33030